[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 67 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.002 0.000 0.000 0.000 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 106 0 0 0 107 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.79 0.00 0.00

time (sec)

N/A 0.238 0.066 0.000 0.000 0.000 40.909 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 99 87 0 0 0 364 0 0

N.S.

1 0.99 0.87 0.00 0.00 0.00 3.64 0.00 0.00

time (sec)

N/A 0.249 0.142 0.000 0.000 0.000 7.051 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 99 87 0 0 0 364 0 0

N.S.

1 0.99 0.87 0.00 0.00 0.00 3.64 0.00 0.00

time (sec)

N/A 0.245 0.114 0.000 0.000 0.000 4.682 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 75 71 0 0 0 65 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.87 0.00 0.00

time (sec)

N/A 0.195 0.085 0.000 0.000 0.000 3.732 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 98 0 0 0 61 0 65

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.87 0.00 0.93

time (sec)

N/A 0.183 0.041 0.000 0.000 0.000 2.469 0.000 10.619

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 88 0 0 0 65 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.74 0.00 0.00

time (sec)

N/A 0.211 0.107 0.000 0.000 0.000 3.734 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 68 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.75 0.00 0.00

time (sec)

N/A 0.218 0.114 0.000 0.000 0.000 4.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 89 0 0 0 70 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.216 0.109 0.000 0.000 0.000 5.530 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 55 52 51 51 54 53 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 0.98 0.96 0.93

time (sec)

N/A 0.236 0.011 0.070 0.212 0.463 0.021 0.293 9.861

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 55 52 51 51 54 53 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 0.98 0.96 0.93

time (sec)

N/A 0.232 0.009 0.063 0.193 0.382 0.021 0.288 0.048

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 52 51 51 54 53 51

N.S.

1 1.00 0.91 0.95 0.93 0.93 0.98 0.96 0.93

time (sec)

N/A 0.220 0.009 0.062 0.189 0.294 0.021 0.306 0.049

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 52 51 51 54 53 51

N.S.

1 1.00 0.91 0.95 0.93 0.93 0.98 0.96 0.93

time (sec)

N/A 0.212 0.008 0.064 0.189 0.262 0.021 0.277 0.048

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 46 48 48 48 49 49 47

N.S.

1 1.00 1.21 1.26 1.26 1.26 1.29 1.29 1.24

time (sec)

N/A 0.201 0.009 0.066 0.290 0.298 0.022 0.272 0.046

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 43 46 46 46 46 46 45

N.S.

1 1.00 1.08 1.15 1.15 1.15 1.15 1.15 1.12

time (sec)

N/A 0.194 0.014 0.033 0.282 0.300 0.066 0.283 0.041

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 43 44 46 52 42 46 46

N.S.

1 1.00 0.98 1.00 1.05 1.18 0.95 1.05 1.05

time (sec)

N/A 0.203 0.018 0.036 0.259 0.273 0.084 0.290 0.047

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 43 43 46 53 46 47 46

N.S.

1 1.00 0.98 0.98 1.05 1.20 1.05 1.07 1.05

time (sec)

N/A 0.205 0.020 0.035 0.267 0.278 0.166 0.276 0.058

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 48 46 50 53 54 51 48

N.S.

1 1.00 0.98 0.94 1.02 1.08 1.10 1.04 0.98

time (sec)

N/A 0.207 0.021 0.036 0.255 0.293 0.282 0.280 10.035

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 47 48 51 51 56 51 49

N.S.

1 1.00 1.07 1.09 1.16 1.16 1.27 1.16 1.11

time (sec)

N/A 0.181 0.012 0.032 0.199 0.280 0.365 0.282 0.037

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.209 0.013 0.034 0.184 0.276 0.448 0.290 0.036

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.206 0.012 0.035 0.196 0.276 0.529 0.280 0.036

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.203 0.012 0.033 0.183 0.262 0.613 0.278 0.037

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 99 98 99 99 109 101 91

N.S.

1 1.00 1.00 0.99 1.00 1.00 1.10 1.02 0.92

time (sec)

N/A 0.281 0.016 0.128 0.179 0.268 0.027 0.273 0.048

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 99 97 99 99 105 100 91

N.S.

1 1.00 1.00 0.98 1.00 1.00 1.06 1.01 0.92

time (sec)

N/A 0.264 0.010 0.112 0.187 0.296 0.026 0.284 0.036

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 88 96 99 99 104 99 90

N.S.

1 1.00 1.01 1.10 1.14 1.14 1.20 1.14 1.03

time (sec)

N/A 0.269 0.022 0.104 0.179 0.293 0.026 0.273 0.036

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 88 97 99 99 107 100 91

N.S.

1 1.00 1.44 1.59 1.62 1.62 1.75 1.64 1.49

time (sec)

N/A 0.239 0.018 0.110 0.192 0.291 0.027 0.292 0.036

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 84 94 96 96 100 97 88

N.S.

1 1.00 2.21 2.47 2.53 2.53 2.63 2.55 2.32

time (sec)

N/A 0.194 0.013 0.104 0.184 0.286 0.029 0.301 0.035

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 64 83 92 93 93 95 94 84

N.S.

1 0.97 1.26 1.39 1.41 1.41 1.44 1.42 1.27

time (sec)

N/A 0.211 0.018 0.098 0.184 0.264 0.095 0.280 0.040

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 85 93 94 101 94 95 86

N.S.

1 1.00 0.99 1.08 1.09 1.17 1.09 1.10 1.00

time (sec)

N/A 0.247 0.025 0.100 0.183 0.280 0.118 0.282 10.049

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 86 90 96 101 97 96 91

N.S.

1 1.00 0.96 1.00 1.07 1.12 1.08 1.07 1.01

time (sec)

N/A 0.255 0.024 0.101 0.180 0.279 0.210 0.279 9.968

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 86 85 96 101 99 96 94

N.S.

1 1.00 0.97 0.96 1.08 1.13 1.11 1.08 1.06

time (sec)

N/A 0.260 0.026 0.099 0.189 0.271 0.387 0.277 9.991

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 85 83 95 101 99 96 93

N.S.

1 1.00 0.99 0.97 1.10 1.17 1.15 1.12 1.08

time (sec)

N/A 0.249 0.027 0.092 0.181 0.292 0.652 0.278 0.075

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 69 87 86 98 101 105 99 94

N.S.

1 0.97 1.23 1.21 1.38 1.42 1.48 1.39 1.32

time (sec)

N/A 0.217 0.034 0.088 0.192 0.322 0.938 0.280 10.041

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 85 88 99 99 107 99 95

N.S.

1 1.00 1.93 2.00 2.25 2.25 2.43 2.25 2.16

time (sec)

N/A 0.180 0.019 0.091 0.186 0.293 1.236 0.288 9.975

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 88 88 99 99 107 99 96

N.S.

1 1.00 0.89 0.89 1.00 1.00 1.08 1.00 0.97

time (sec)

N/A 0.251 0.018 0.095 0.192 0.264 1.555 0.289 0.053

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 88 88 99 99 107 99 95

N.S.

1 1.00 0.89 0.89 1.00 1.00 1.08 1.00 0.96

time (sec)

N/A 0.256 0.019 0.096 0.182 0.340 2.165 0.293 9.978

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 88 88 99 99 107 99 96

N.S.

1 1.00 0.89 0.89 1.00 1.00 1.08 1.00 0.97

time (sec)

N/A 0.248 0.018 0.096 0.186 0.309 3.358 0.278 0.054

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 88 88 99 99 107 99 97

N.S.

1 1.00 0.89 0.89 1.00 1.00 1.08 1.00 0.98

time (sec)

N/A 0.244 0.018 0.103 0.186 0.280 5.927 0.288 9.932

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 143 144 147 147 162 149 131

N.S.

1 1.00 1.00 1.01 1.03 1.03 1.13 1.04 0.92

time (sec)

N/A 0.372 0.020 0.118 0.179 0.302 0.044 0.278 0.065

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 143 143 147 147 162 148 130

N.S.

1 1.00 1.03 1.03 1.06 1.06 1.17 1.06 0.94

time (sec)

N/A 0.345 0.015 0.116 0.186 0.305 0.035 0.280 9.976

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 143 143 147 147 162 148 131

N.S.

1 1.00 1.28 1.28 1.31 1.31 1.45 1.32 1.17

time (sec)

N/A 0.300 0.015 0.115 0.183 0.312 0.033 0.286 0.050

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 143 144 147 147 163 149 131

N.S.

1 1.00 1.64 1.66 1.69 1.69 1.87 1.71 1.51

time (sec)

N/A 0.268 0.016 0.130 0.184 0.301 0.037 0.273 0.050

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 140 144 146 146 160 149 130

N.S.

1 1.00 2.30 2.36 2.39 2.39 2.62 2.44 2.13

time (sec)

N/A 0.241 0.015 0.111 0.183 0.313 0.032 0.273 0.051

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 122 140 142 142 148 145 126

N.S.

1 1.00 3.21 3.68 3.74 3.74 3.89 3.82 3.32

time (sec)

N/A 0.199 0.025 0.114 0.180 0.285 0.044 0.275 0.049

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 92 128 138 142 142 148 142 125

N.S.

1 0.96 1.33 1.44 1.48 1.48 1.54 1.48 1.30

time (sec)

N/A 0.231 0.023 0.101 0.188 0.295 0.162 0.271 10.009

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 129 141 143 149 148 143 127

N.S.

1 1.00 0.97 1.06 1.08 1.12 1.11 1.08 0.95

time (sec)

N/A 0.307 0.034 0.105 0.188 0.309 0.171 0.261 0.058

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 128 138 143 149 148 144 130

N.S.

1 1.00 0.98 1.05 1.09 1.14 1.13 1.10 0.99

time (sec)

N/A 0.324 0.040 0.102 0.203 0.406 0.282 0.270 9.966

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 127 134 145 149 150 145 135

N.S.

1 1.00 0.95 1.00 1.08 1.11 1.12 1.08 1.01

time (sec)

N/A 0.296 0.034 0.103 0.215 0.347 0.491 0.269 0.059

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 128 130 145 149 150 145 138

N.S.

1 1.00 0.96 0.97 1.08 1.11 1.12 1.08 1.03

time (sec)

N/A 0.301 0.038 0.105 0.210 0.372 0.827 0.269 0.058

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 128 125 144 149 150 144 140

N.S.

1 1.00 0.98 0.95 1.10 1.14 1.15 1.10 1.07

time (sec)

N/A 0.303 0.039 0.092 0.217 0.380 1.278 0.277 9.979

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 125 123 143 149 150 144 139

N.S.

1 1.00 0.95 0.93 1.08 1.13 1.14 1.09 1.05

time (sec)

N/A 0.297 0.047 0.101 0.208 0.381 1.901 0.268 10.041

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 97 132 126 146 149 156 147 140

N.S.

1 0.96 1.31 1.25 1.45 1.48 1.54 1.46 1.39

time (sec)

N/A 0.240 0.042 0.102 0.194 0.599 2.574 0.269 9.997

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 123 128 147 147 158 147 141

N.S.

1 1.00 2.80 2.91 3.34 3.34 3.59 3.34 3.20

time (sec)

N/A 0.180 0.024 0.099 0.200 0.336 3.644 0.274 9.967

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 71 126 128 147 147 158 147 143

N.S.

1 0.99 1.75 1.78 2.04 2.04 2.19 2.04 1.99

time (sec)

N/A 0.191 0.024 0.096 0.212 0.349 5.514 0.275 0.075

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 126 128 147 147 158 147 143

N.S.

1 1.00 0.88 0.90 1.03 1.03 1.10 1.03 1.00

time (sec)

N/A 0.301 0.025 0.097 0.218 0.316 10.272 0.281 0.074

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 126 128 147 147 158 147 142

N.S.

1 1.00 0.88 0.90 1.03 1.03 1.10 1.03 0.99

time (sec)

N/A 0.295 0.024 0.101 0.209 0.286 19.486 0.279 9.998

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 126 128 147 147 158 147 142

N.S.

1 1.00 0.88 0.90 1.03 1.03 1.10 1.03 0.99

time (sec)

N/A 0.303 0.024 0.096 0.225 0.307 41.161 0.278 0.077

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 126 128 147 147 158 147 143

N.S.

1 1.00 0.88 0.90 1.03 1.03 1.10 1.03 1.00

time (sec)

N/A 0.301 0.026 0.102 0.210 0.314 89.600 0.281 9.970

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 149 122 129 129 133 132 121

N.S.

1 1.00 1.14 0.93 0.98 0.98 1.02 1.01 0.92

time (sec)

N/A 0.341 0.021 0.116 0.217 0.314 0.046 0.268 9.999

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 150 124 128 128 134 133 123

N.S.

1 1.00 1.26 1.04 1.08 1.08 1.13 1.12 1.03

time (sec)

N/A 0.295 0.013 0.111 0.201 0.274 0.036 0.273 0.100

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 151 124 129 129 136 133 123

N.S.

1 1.00 1.53 1.25 1.30 1.30 1.37 1.34 1.24

time (sec)

N/A 0.275 0.013 0.113 0.225 0.303 0.048 0.291 0.098

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 153 124 129 129 139 133 123

N.S.

1 1.00 1.76 1.43 1.48 1.48 1.60 1.53 1.41

time (sec)

N/A 0.264 0.014 0.115 0.195 0.298 0.040 0.270 0.099

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 153 124 129 129 136 133 123

N.S.

1 1.00 2.22 1.80 1.87 1.87 1.97 1.93 1.78

time (sec)

N/A 0.237 0.013 0.112 0.204 0.303 0.038 0.281 0.098

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 148 124 128 128 133 133 123

N.S.

1 1.00 2.69 2.25 2.33 2.33 2.42 2.42 2.24

time (sec)

N/A 0.226 0.014 0.109 0.194 0.311 0.047 0.265 0.103

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 147 124 129 129 133 133 123

N.S.

1 1.00 3.77 3.18 3.31 3.31 3.41 3.41 3.15

time (sec)

N/A 0.210 0.012 0.118 0.188 0.282 0.042 0.271 0.102

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 113 119 126 126 119 129 118

N.S.

1 1.00 4.52 4.76 5.04 5.04 4.76 5.16 4.72

time (sec)

N/A 0.172 0.015 0.094 0.192 0.283 0.040 0.287 0.101

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 78 85 116 124 124 117 126 115

N.S.

1 0.90 0.98 1.33 1.43 1.43 1.34 1.45 1.32

time (sec)

N/A 0.201 0.030 0.100 0.193 0.296 0.118 0.268 0.107

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 139 123 125 131 121 126 118

N.S.

1 1.00 1.00 0.88 0.90 0.94 0.87 0.91 0.85

time (sec)

N/A 0.288 0.029 0.103 0.195 0.275 0.132 0.265 0.109

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 139 123 125 131 122 126 119

N.S.

1 1.00 1.01 0.89 0.91 0.95 0.88 0.91 0.86

time (sec)

N/A 0.300 0.029 0.100 0.197 0.357 0.203 0.276 0.098

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 140 123 127 131 124 128 121

N.S.

1 1.00 1.01 0.89 0.92 0.95 0.90 0.93 0.88

time (sec)

N/A 0.299 0.026 0.102 0.203 0.314 0.337 0.279 0.090

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 139 123 126 131 122 128 121

N.S.

1 1.00 1.01 0.90 0.92 0.96 0.89 0.93 0.88

time (sec)

N/A 0.296 0.028 0.105 0.208 0.282 0.550 0.272 0.065

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 142 123 127 131 124 128 121

N.S.

1 1.00 1.01 0.88 0.91 0.94 0.89 0.91 0.86

time (sec)

N/A 0.290 0.026 0.105 0.198 0.301 0.860 0.270 9.983

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 142 123 127 131 128 128 121

N.S.

1 1.00 1.01 0.88 0.91 0.94 0.91 0.91 0.86

time (sec)

N/A 0.297 0.026 0.103 0.194 0.278 1.252 0.278 9.955

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 139 122 127 131 128 128 121

N.S.

1 1.00 1.01 0.88 0.92 0.95 0.93 0.93 0.88

time (sec)

N/A 0.303 0.027 0.105 0.196 0.285 1.830 0.280 9.967

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 140 121 127 131 126 128 121

N.S.

1 1.00 1.01 0.88 0.92 0.95 0.91 0.93 0.88

time (sec)

N/A 0.302 0.029 0.112 0.198 0.280 2.682 0.272 9.995

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 139 119 126 131 126 127 119

N.S.

1 1.00 1.01 0.87 0.92 0.96 0.92 0.93 0.87

time (sec)

N/A 0.302 0.030 0.101 0.191 0.310 3.488 0.282 0.072

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 140 119 125 131 124 126 118

N.S.

1 1.00 1.01 0.86 0.91 0.95 0.90 0.91 0.86

time (sec)

N/A 0.293 0.031 0.107 0.198 0.271 4.681 0.275 10.033

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 83 143 122 128 131 129 129 118

N.S.

1 0.90 1.55 1.33 1.39 1.42 1.40 1.40 1.28

time (sec)

N/A 0.219 0.035 0.101 0.188 0.278 5.514 0.265 10.043

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 114 123 129 129 131 131 120

N.S.

1 1.00 3.68 3.97 4.16 4.16 4.23 4.23 3.87

time (sec)

N/A 0.163 0.021 0.103 0.200 0.306 6.657 0.275 0.130

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 50 115 123 129 129 131 131 123

N.S.

1 0.96 2.21 2.37 2.48 2.48 2.52 2.52 2.37

time (sec)

N/A 0.176 0.019 0.109 0.199 0.277 8.365 0.275 10.032

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 67 149 123 129 129 131 131 123

N.S.

1 0.94 2.10 1.73 1.82 1.82 1.85 1.85 1.73

time (sec)

N/A 0.181 0.027 0.102 0.188 0.363 9.904 0.272 0.133

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 84 153 123 129 129 131 131 123

N.S.

1 0.93 1.70 1.37 1.43 1.43 1.46 1.46 1.37

time (sec)

N/A 0.188 0.026 0.101 0.193 0.377 11.998 0.279 0.133

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 101 153 123 129 129 131 131 123

N.S.

1 0.93 1.40 1.13 1.18 1.18 1.20 1.20 1.13

time (sec)

N/A 0.194 0.026 0.090 0.202 0.379 12.948 0.269 0.133

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 118 151 123 129 129 131 131 123

N.S.

1 0.92 1.18 0.96 1.01 1.01 1.02 1.02 0.96

time (sec)

N/A 0.208 0.029 0.102 0.190 0.380 14.134 0.273 10.033

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 151 123 129 129 131 131 123

N.S.

1 1.00 1.00 0.81 0.85 0.85 0.87 0.87 0.81

time (sec)

N/A 0.300 0.034 0.107 0.196 0.345 15.593 0.281 0.133

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 149 123 129 129 131 131 121

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.88 0.88 0.81

time (sec)

N/A 0.296 0.030 0.105 0.188 0.363 17.722 0.279 10.072

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 151 123 129 129 131 131 121

N.S.

1 1.00 1.00 0.81 0.85 0.85 0.87 0.87 0.80

time (sec)

N/A 0.296 0.033 0.103 0.201 0.328 19.832 0.272 0.134

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 61 61 61 73 61 61

N.S.

1 1.00 1.00 0.73 0.73 0.73 0.88 0.73 0.73

time (sec)

N/A 0.221 0.002 0.111 0.180 0.356 0.024 0.271 0.085

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 61 61 61 75 61 61

N.S.

1 1.00 1.00 0.73 0.73 0.73 0.90 0.73 0.73

time (sec)

N/A 0.223 0.003 0.112 0.185 0.338 0.024 0.275 0.083

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 81 60 59 59 73 59 59

N.S.

1 1.00 0.89 0.66 0.65 0.65 0.80 0.65 0.65

time (sec)

N/A 0.236 0.003 0.107 0.186 0.337 0.023 0.279 0.083

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 81 61 61 61 73 61 61

N.S.

1 1.00 1.01 0.76 0.76 0.76 0.91 0.76 0.76

time (sec)

N/A 0.224 0.003 0.128 0.181 0.362 0.025 0.276 0.083

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 79 61 61 61 71 61 61

N.S.

1 1.00 1.08 0.84 0.84 0.84 0.97 0.84 0.84

time (sec)

N/A 0.222 0.002 0.108 0.194 0.626 0.024 0.274 0.083

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 81 61 61 61 73 61 61

N.S.

1 1.00 1.27 0.95 0.95 0.95 1.14 0.95 0.95

time (sec)

N/A 0.209 0.004 0.108 0.180 0.350 0.023 0.270 0.084

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 81 61 61 61 73 61 61

N.S.

1 1.00 1.47 1.11 1.11 1.11 1.33 1.11 1.11

time (sec)

N/A 0.204 0.002 0.116 0.193 0.334 0.028 0.284 0.083

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 83 61 61 61 75 61 61

N.S.

1 1.00 1.80 1.33 1.33 1.33 1.63 1.33 1.33

time (sec)

N/A 0.191 0.003 0.108 0.184 0.298 0.024 0.283 0.083

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 83 61 61 61 75 61 61

N.S.

1 1.00 2.24 1.65 1.65 1.65 2.03 1.65 1.65

time (sec)

N/A 0.184 0.003 0.115 0.191 0.314 0.022 0.275 0.083

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 79 61 61 61 71 61 61

N.S.

1 1.00 2.82 2.18 2.18 2.18 2.54 2.18 2.18

time (sec)

N/A 0.178 0.002 0.110 0.186 0.304 0.027 0.266 0.083

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 77 61 61 61 70 61 61

N.S.

1 1.00 4.05 3.21 3.21 3.21 3.68 3.21 3.21

time (sec)

N/A 0.166 0.004 0.106 0.192 0.334 0.024 0.269 0.081

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 13 12 55 65 62 55

N.S.

1 1.00 1.00 1.44 1.33 6.11 7.22 6.89 6.11

time (sec)

N/A 0.136 0.001 0.244 0.198 0.353 0.034 0.266 0.081

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 96 57 56 56 68 57 56

N.S.

1 1.00 1.33 0.79 0.78 0.78 0.94 0.79 0.78

time (sec)

N/A 0.189 0.011 0.093 0.190 0.309 0.043 0.267 0.085

[next] [prev] [prev-tail] [front] [up]